Eine Verallgemeinerung des Ritz-Prozesses

Eine Verallgemeinerung der Überwachersynthese mit Hilfe des μ-Kalküls

A Generalization of Supervisor Synthesis based on the μ-Calculus The present work deals with the specification and implementation of systems with discrete state spaces. This large class of systems encompasses, for example, information processing systems, which play an important role in modern life. The dynamics of these systems include concurrent processes, and concurrency can give rise to stat...

Fehlertoleranzanalyse des FlexRay Startup-Prozesses

Zusammenfassung. Die FlexRay-ProzedurenWakeup und Startup sollen eine konsistent-synchrone Kommunikation bezüglich eines TDMA verwandten Verfahrens herstellen. Beide Algorithmen werden in dieser Arbeit abstrakt modelliert und mit Hilfe des Model Checkes SPIN bezüglich Terminierung analysiert. Die Ergebnisse zeigen, dass in bestimmten Fehlerszenarios die Verwendung von Central Bus Guardians, die...

Eine kritische Würdigung des SigG

Mit der Verabschiedung des Signaturgesetzes (SigG) und der Signaturverordnung (SigV) haben Bundestag und Bundesregierung Mitte 1997 Neuland beschritten: Vor allen anderen europäischen Ländern und als zweites Land weltweit (nach dem US-Bundesstaat Utah) bekam Deutschland eine gesetzliche Regelung zu digitalen Signaturen. Der nun vorgelegte Evaluierungsbericht der Bundesregierung zum IuKDG, der d...

Business Intelligence Tools: Plädoyer für die Integration des Prozesses "Berichtsdiskussion"

The BMAP/G/1 queue with level dependent arrivals: An extended queueing model for stations with nonrenewal and state dependent input traffic

Parallel zu diesen Entwicklungen stiegen die Anforderungen an die Methoden zur Leistungsanalyse derartiger Systeme. Die Warteschlangentheorie stellt klassische Modelle zur Analyse von Kommunikationsnetzen bereit. Ein Bereich in der modernen Warteschlangentheorie sind die Matrix analytischen Methoden. Hier konzentriert sich die Forschung auf den Batch Markovian Arrival Process (BMAP), welcher äq...